Fix CONFIG_4KSTACKS kernel config option, and add it do default config.
# CONFIG_DEBUG_INFO is not set
# CONFIG_DEBUG_SPINLOCK_SLEEP is not set
# CONFIG_FRAME_POINTER is not set
-# CONFIG_4KSTACKS is not set
+CONFIG_4KSTACKS=y
CONFIG_X86_BIOS_REBOOT=y
CONFIG_X86_STD_RESOURCES=y
CONFIG_PC=y
CONFIG_EARLY_PRINTK=y
# CONFIG_DEBUG_SPINLOCK_SLEEP is not set
# CONFIG_FRAME_POINTER is not set
-# CONFIG_4KSTACKS is not set
+CONFIG_4KSTACKS=y
CONFIG_X86_BIOS_REBOOT=y
CONFIG_X86_STD_RESOURCES=y
CONFIG_PC=y
{
int i;
+ irq_ctx_init(0);
+
spin_lock_init(&irq_mapping_update_lock);
/* No VIRQ -> IRQ mappings. */